More from this Author
Found 7 books by Dirk Beyer (Editor)
Tools and Algorithms for the Construction and Analysis of Systems
by Dirk Beyer (Editor), Marieke Huisman (Editor), Fabrice Kordon (Editor), Bernhard Steffen (Editor)
Formal Techniques for Distributed Systems
by Dirk Beyer (Editor), Michele Boreale (Editor)
Tools and Algorithms for the Construction and Analysis of Systems
by Dirk Beyer (Editor), Marieke Huisman (Editor)
Tools and Algorithms for the Construction and Analysis of Systems
by Dirk Beyer (Editor), Marieke Huisman (Editor)
Tests and Proofs
by Dirk Beyer (Editor), Chantal Keller (Editor)
Verification, Model Checking, and Abstract Interpretation
by Dirk Beyer (Editor), Damien Zufferey (Editor)
Formal Techniques for Distributed Systems
by Dirk Beyer (Editor), Michele Boreale (Editor)